Instance Verification Kit (IVK)

mutex lock @ [1246+26+/linux-3.19-rc1/drivers/clk/clk.c]
Instance Signature: prepare_lock

The Matching Pair Graph:


Function Name
Control Flow Graph (CFG)
Events Flow Graph (EFG)
Source Correspondence
__clk_init [43669+10+/linux-3.19-rc1/drivers/clk/clk.c]
__clk_put [55985+9+/linux-3.19-rc1/drivers/clk/clk.c]
clk_disable_unused [11369+18+/linux-3.19-rc1/drivers/clk/clk.c]
clk_dump [4730+8+/linux-3.19-rc1/drivers/clk/clk.c]
clk_dump_one [4024+12+/linux-3.19-rc1/drivers/clk/clk.c]
clk_dump_subtree [4436+16+/linux-3.19-rc1/drivers/clk/clk.c]
clk_get_accuracy [24361+16+/linux-3.19-rc1/drivers/clk/clk.c]
clk_get_parent [38004+14+/linux-3.19-rc1/drivers/clk/clk.c]
clk_get_phase [43236+13+/linux-3.19-rc1/drivers/clk/clk.c]
clk_get_rate [26143+12+/linux-3.19-rc1/drivers/clk/clk.c]
clk_notifier_register [57221+21+/linux-3.19-rc1/drivers/clk/clk.c]
clk_notifier_unregister [58385+23+/linux-3.19-rc1/drivers/clk/clk.c]
clk_prepare [18415+11+/linux-3.19-rc1/drivers/clk/clk.c]
clk_prepare_lock [1111+16+/linux-3.19-rc1/drivers/clk/clk.c]
clk_prepare_unlock [1412+18+/linux-3.19-rc1/drivers/clk/clk.c]
clk_round_rate [22062+14+/linux-3.19-rc1/drivers/clk/clk.c]
clk_set_parent [40433+14+/linux-3.19-rc1/drivers/clk/clk.c]
clk_set_phase [42671+13+/linux-3.19-rc1/drivers/clk/clk.c]
clk_set_rate [36900+12+/linux-3.19-rc1/drivers/clk/clk.c]
clk_summary_show [3198+16+/linux-3.19-rc1/drivers/clk/clk.c]
clk_summary_show_one [2605+20+/linux-3.19-rc1/drivers/clk/clk.c]
clk_summary_show_subtree [2920+24+/linux-3.19-rc1/drivers/clk/clk.c]
clk_unprepare [17306+13+/linux-3.19-rc1/drivers/clk/clk.c]
clk_unregister [53460+14+/linux-3.19-rc1/drivers/clk/clk.c]